منابع مشابه
Workcraft: Ten Years Later
A large number of models that are employed in the field of concurrent systems’ design, such as Petri nets, Signal Transition Graphs, gate-level circuits, dataflow structures have an underlying static graph structure. Their semantics, however, is defined using additional entities, e.g. tokens or node/arc states, which collectively form the overall state of the system. We jointly refer to such fo...
متن کاملMigratory Typing: Ten Years Later
In this day and age, many developers work on large, untyped code repositories. Even if they are the creators of the code, they notice that they have to figure out the equivalent of method signatures every time they work on old code. This step is time consuming and error prone. Ten years ago, the two lead authors outlined a linguistic solution to this problem. Specifically they proposed the crea...
متن کاملComputability Closure: Ten Years Later
The notion of computability closure has been introduced for proving the termination of higher-order rewriting with first-order matching by Jean-Pierre Jouannaud and Mitsuhiro Okada in a 1997 draft which later served as a basis for the author's PhD. In this paper, we show how this notion can also be used for dealing with beta-normalized rewriting with matching modulo beta-eta (on patterns \`a la...
متن کاملTHE SUGARCANE UBPCs TEN YEARS LATER
The main theme of this conference is “Cuba: Ten Years after the Announcement of Economic Reforms.” The principal policy change announced in 1993 for the agricultural sector was the breakup of the state monopoly on land. To replace most state farms, a new form of agricultural organization was established: the Basic Unit of Cooperative Production (Unidad Básica de Producción Cooperativa, UBPC).1
متن کاملNucleon Spin Puzzle: Ten Years Later..
In 1974 an article [1] appeared in the Physical Review in which J. Ellis and R. Jaffe deduced some predictions (sum rules) concerning structure functions of polarized lepton-nucleon deeply inelastic scattering. The predictions were based on some apparently natural assumptions like the negligible rôle of strange quarks in the formation of the nucleon spin. The result did not cause a noticeable a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Pacific Viewpoint
سال: 1992
ISSN: 0030-8978
DOI: 10.1111/apv.332010